Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
931	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
932	Distributed Interactive Learning in Multi-Agent Systems Jian Huang and Adrian R. Pearce Department of Computer Science and Software Engineering NICTA Victoria Laboratory The University of Melbourne Victoria 3010, Austral Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Cybernetics Problem solving Multi-agent systems Artificial intelligence Common knowledge Machine learning Inductive logic programming Agent-based model Science Knowledge Logic
933	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics
934	Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:49:07 Logic programming Model theory Functions and mappings Interpretation Entailment Symbol Logical connective Belief revision Function Logic Mathematics Metalogic
935	On the Relation between Reiter’s Default Logic and its (major) Variants James P. Delgrande1 and Torsten Schaub2 1 School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 , Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:40:17 Model theory Default logic Knowledge representation Logic programming Non-classical logic Symbol Interpretation First-order logic Function Mathematical logic Logic Mathematics
936	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics
937	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
938	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
939	Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:39 Mathematics Propositional calculus Charles Sanders Peirce Model theory Answer set programming If and only if Forcing Stable model semantics Belief revision Logic Mathematical logic Logic programming
940	Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-25 03:52:43 Logic in computer science Subroutines Object-oriented programming Procedural programming languages Eiffel Program logic Postcondition Precondition Function object Software engineering Computing Computer programming

UPDATE